Nominalistic Logic (Extended Abstract)
نویسنده
چکیده
Nominalistic Logic (NL) is a new presentation of Paul Gilmore’s Intensional Type Theory (ITT) as a sequent calculus together with a succinct nominalization axiom (N) that permits names of predicates as individuals in certain cases. The logic has a flexible comprehension axiom, but no extensionality axiom and no infinity axiom, although axiom N is the key to the derivation of Peano’s postulates for the natural numbers.
منابع مشابه
Getting Realistic about Nominalism
In this paper I examine critically the relationship between the realist and nominalist views of abstract objects. I begin by pointing out some differences between the usage of existential statements in metaphysics and the usage of such statements in disciplines outside of philosophy. Then I propose an account of existence that captures the characteristic intuitions underlying the latter kind of...
متن کاملAbstract Derivations, Equational Logic and Interpolation (extended Abstract)
derivations, equational logic and interpolation (extended abstract) Gerard R. Renardel de Lavalette Department of Mathematics and Computing Science University of Groningen, the Netherlands Abstract. We define abstract derivations for equational logic and use them to prove the interpolation property. We define abstract derivations for equational logic and use them to prove the interpolation prop...
متن کاملAn Intrinsic Theory of Quantum Mechanics: Progress in Field’s Nominalistic Program, Part I
In this paper, I introduce an intrinsic account of the universal wave function. My account contains three desirable features that the standard platonistic account lacks: (1) it does not refer to any abstract mathematical objects such as complex numbers, (2) it is free from the usual arbitrary conventions in the wave function representation, and (3) it explains why the wave function has its ampl...
متن کاملGeneralized negations and intuitionistic fuzzy sets - a criticism to a widely used terminology
Intuitionistic Fuzzy Sets Theory is based on a wrong nominalistic (terminological) assumption. It is defined as “intuitionistic” a negation which does not satisfy usual properties of the intuitionistic Brouwer negation, but it is called with this term only a particular generalized notion of negation which indeed corresponds to the de Morgan negation. This metatheoretical assumption is criticize...
متن کاملA Type Based Debugging Tool for Untyped Logic Languages
This paper presents a method for debugging type errors in untyped logic programs by generating type information based on abstract interpretation with OLDT resolution. The notion \type" is extended to enable the phenomena in logic programs to be described more precisely. The classes Single Types and Collected Types are introduced. An extended OLDT resolution performs combination of derived singl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0812.4814 شماره
صفحات -
تاریخ انتشار 2008